export const EVT_PAGE_CREATE_PAGE_PROPERTY = Symbol();
export const EVT_PAGE_MODIFY_PAGE_PROPERTY = Symbol();

export function CreatePagePropertyEvent(PID) {
    return Object.freeze({
        type: EVT_PAGE_CREATE_PAGE_PROPERTY,
        get PID() {return PID;},
    });
}

export function ModifyPagePropertyEvent(PID) {
    return Object.freeze({
        type: EVT_PAGE_MODIFY_PAGE_PROPERTY,
        get PID() {return PID;},
    });
}
